1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
// Local aliases bringing the imported sub-package types and free functions into
// unqualified scope, so the core sources read against bare names (the prelude
// pattern of `moonbitlang/core`).
///|
using @tracker {type Progress, type ProgressState}
///|
using @raftpb {
type Entry,
type Message,
type ReadIndexResp,
type RequestVoteArgs,
type RequestVoteReply,
type HeartbeatArgs,
type HeartbeatReply,
type AppendEntriesArgs,
type AppendEntriesReply,
type InstallSnapshotArgs,
type InstallSnapshotReply,
type Snapshot,
type HardState,
type ConfState,
no_limit,
ents_size,
limit_size,
payload_size,
}
///|
using @confchange {type Membership, type ConfChange, type ConfChangeV2}
///|
using @storage {
type MemoryStorage,
type Persisted,
type WalRecord,
trait RaftStorage,
trait WalStore,
}
///|
using @log {type RaftLog}